שמואל א 20:33 פירוש: מצודת דוד, מצודת ציון ורד"ק